(Fx_hide_tip) [USE_LUCID]: Add a hack to redisplay
authorGerd Moellmann <gerd@gnu.org>
Tue, 21 Nov 2000 22:26:20 +0000 (22:26 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 21 Nov 2000 22:26:20 +0000 (22:26 +0000)
commit53d3b761b1258665819fb001f3f37a48238be9a0
tree553f460cb99349a20e570697681da2faa46883ee
parent5bc3d5c69ea37dbdd56938c578e232aa4ecddba0
(Fx_hide_tip) [USE_LUCID]: Add a hack to redisplay
the menu bar when the tooltip is unmapped.
src/xfns.c